A Framework for System-Level Partitioning of Object-Oriented Specifications
نویسندگان
چکیده
Object-oriented descriptions are gaining more and more importance in the high-level specification of hardware/software systems. Hiding the complexity from the developer is one of the key tasks in order to master the complexity of todays systems. With the high grade of abstraction necessary on the system level the automatic partitioning of a system is a difficult problem. In this paper we therefore present a strategy that allows the designer to guide the partitioning with object-oriented techniques. We also developed an object-oriented interface for the partition overlapping communication of objects. The usability of our approach is shown with the example of a JPEG codec.
منابع مشابه
A Framework for Dynamic Evolution of Distributed Systems Specifications*
Recently, object-oriented specifications of distributed systems has gained more attention. The object-oriented approach is known by its flexibility for system construction. However, one of the major challenges is to provide facilities for the dynamic modifications of such specifications during the development and maintenance process. Yet, current work has not addressed the dynamic modifications...
متن کاملAutomated Test Case Generation from IFAD VDM++ Specifications
Most of the current research on automatic generation of test cases from formal specifications has been directed towards non object-oriented formal specifications. While objectoriented paradigm is the most widely accepted methodology for software development, generation of test cases from object-oriented formal specifications is still a relatively unexplored area. In this paper, we present a nov...
متن کاملAn Interactive Proof Environment . . .
We present a semantic framework for object-oriented specification languages. We develop this framework as a conservative shallow embedding in Isabelle/. Using only conservative extensions guarantees by construction the consistency of our formalization. Moreover, we show how our framework can be used to build an interactive proof environment, called -, for object-oriented specifications...
متن کاملA Multi-Formalism Modeling Framework: Formal Definitions, Model Composition and Solution Strategies
In this paper, we present a multi-formalism modeling framework (abbreviated by MFMF) for modeling and simulation. The proposed framework is defined based on the concepts of meta-models and uses object-orientation to overcome the complexities and to enhance the extensibility. The framework can be used as a basis for modeling by various formalisms and to support model composition in a unified man...
متن کاملA Multi-Formalism Modeling Framework: Formal Definitions, Model Composition and Solution Strategies
In this paper, we present a multi-formalism modeling framework (abbreviated by MFMF) for modeling and simulation. The proposed framework is defined based on the concepts of meta-models and uses object-orientation to overcome the complexities and to enhance the extensibility. The framework can be used as a basis for modeling by various formalisms and to support model composition in a unified man...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2001